Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
871	Deduction modulo theory Gilles Dowek Inria, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. 1 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-07-03 10:24:22 Proof theory Natural deduction Propositional calculus Sequent calculus Heyting algebra First-order logic Intuitionistic logic Cut-elimination theorem Function Logic Mathematical logic Mathematics
872	egu_logo_without_circle_grey Add to Reading List Source URL: www.nat-hazards-earth-syst-sci.net Language: English - Date: 2014-12-04 02:29:04 Artificial intelligence Logic in computer science Neuro-fuzzy Fuzzy control system Fuzzy set Adaptive neuro fuzzy inference system Membership function Fuzzy logic Logic Mathematical logic
873	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL 279 Lec 02/03 — “Logic I” Fall Term 2010 Course Outline Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2014-07-27 06:36:15 Education Predicate logic Semantics Logic in computer science Boolean algebra First-order logic Valuation Tutorial Homework Logic Mathematical logic Model theory
874	Judgment Aggregation by Quota Rules: Majority Voting Generalized Franz Dietrich Department of Quantitative Economics University of Maastricht and Add to Reading List Source URL: www.franzdietrich.net Language: English - Date: 2009-07-30 08:19:30 Propositional calculus Social choice theory Paradoxes Philosophy of language Discursive dilemma Function Proposition Mathematical proof Natural deduction Logic Mathematics Mathematical logic
875	Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2014-07-02 10:40:42 Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic Mathematics Mathematical logic
876	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
877	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
878	January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-03-02 09:38:29 Sequent calculus Entailment Ω-consistent theory Sequent Cut-elimination theorem First-order logic Structure Linear logic Natural deduction Logic Mathematical logic Proof theory
879	The University of Calgary Department of Philosophy Philosophy 279L05 LOGIC I Winter 2004 — Richard Zach Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2008-10-27 16:48:33 Science Predicate logic Semantics Boolean algebra Valuation First-order logic Interpretation Tutorial Homework Logic Mathematical logic Model theory
880	Dynamical systems analysis of stack filters Matti Nykter1,2 , Juha Kesseli3,2, Ilya Shmulevich1 1 Institute for Systems Biology, Seattle, WA, 98103, USA of Signal Processing, Tampere University of Technology, Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2009-06-17 12:41:09 Electronic engineering Boolean algebra Logic Linear filter Artificial neuron Boolean network Filter Monotonic function Electronic filter Mathematics Mathematical analysis Filter theory